Category theory - PDFSEARCH.IO - Document Search Engine

Category theory
Results: 1468

#	Item
491	1 Introduction An application of Hopf-Algebra techniques to representations of finite Classical Groups Marc A. A. van Leeuwen Mathematical Institute, Rijksuniversiteit te Utrecht Add to Reading List Source URL: www-math.univ-poitiers.fr Language: English - Date: 2014-09-01 05:21:14 Functors Sheaf theory Natural transformation Adjoint functors Sheaf Grothendieck topology Limit Pushout Group action Abstract algebra Category theory Algebra
492	Foundational, Compositional (Co)datatypes for Higher-Order Logic Category Theory Applied to Theorem Proving Dmitriy Traytel Technische Universität München Munich, Germany Add to Reading List Source URL: www21.in.tum.de Language: English - Date: 2015-01-25 16:18:54 Mathematics Adjoint functors Computer programming Type theory F-coalgebra Initial algebra F-algebra Map Coalgebra Category theory Functional programming Software engineering
493	Registration of Interest for General Building Contractor Services – Category 5 Registration of Interest for General Building Contractor Services – Category 5 Registration of Interest for General Building Contractor Add to Reading List Source URL: w3.unisa.edu.au Language: English - Date: 2015-01-21 18:11:59 Architecture Management General contractor Real estate Contractor management Subcontractor Attachment theory Construction Contract law Business
494	Batch No. ??? Competition Brewer(s) Information Name(s)_________________________ Address_______________________________ City______________________________________________ State _______________ Phone (_____)___ Add to Reading List Source URL: www.thebruery.com Language: English - Date: 2015-01-15 15:27:02 Category theory Subcategory Brewing
495	Meta-Level Category ‚Role’ in Metadata Standards for Learning: Instructional Roles and Instructional Qualities of Learning Objects Heidrun Allert Hadhami Dhraief Add to Reading List Source URL: www.cosignconference.org Language: English - Date: 2008-12-13 12:14:49 Pedagogy Education theory Learning theory Instructional design Learning object metadata Instructional theory E-learning First Principles of Instruction Problem-based learning Education Educational psychology Educational technology
496	Recruitment, Selection and Appointment Policy Category: Human Resources 1. PURPOSE The purpose of this policy and its supporting procedures is to regulate how, within its governance framework, the University manages: a) Add to Reading List Source URL: policies.curtin.edu.au Language: English - Date: 2015-03-10 00:11:05 Politics Clinical research Pharmaceutical industry Data security Hong Kong Civil Service Decision theory Government Policy
497	Donation Form: Silent Auction for the Arts & Crafts Research Fund One major distinction between an Arts & Crafts collector and almost every other category of collecting is our insatiable thirst for knowledge. Old or new, Add to Reading List Source URL: www.arts-craftsconference.com Language: English - Date: 2014-06-25 11:32:19 Craft Arts & Crafts Donation Publishing Marketing Auctioneering Auction theory Auction
498	2015 PALS Project and Award Categories and Judging Criteria Schools applying for PALS project sponsorships are asked to determine which category best describes the purpose of their PALS project. The project categories ar Add to Reading List Source URL: pals.daa.wa.gov.au Language: English - Date: 2015-02-08 23:17:57 Student engagement Youth Australian Aboriginal culture Education theory Educational psychology Popular education
499	Microsoft Word - WE_n7271087_v2_Online_Auction_Guide_for_Souring_Managers_and_Category_Managers.doc Add to Reading List Source URL: www.westernpower.com.au Language: English - Date: 2014-05-23 01:01:23 Auction theory Business models Auction Online auction business model Bid Reverse auction Auction sniping Business Auctioneering Commerce
500	Points Of Interest Proposed Attributes Points of Interest data will be classified into a three level classification scheme. Group Category Class Add to Reading List Source URL: www.walis.wa.gov.au Language: English - Date: 2012-08-23 03:49:01 Database theory GPS Knowledge representation Technology Database Globally unique identifier Metadata Address Point of interest Information Database management systems Data

UPDATE